Preemption Primitives in Reactive Languages (A Preliminary Report)
نویسندگان
چکیده
In this paper, we study preemption primitives in reactive languages such as Esterel and Signal (and its extension SignalGT_) in a common framework. This enables us to compare behavioural/structural expressive powers of diierent languages and gives an insight into the complementarity of diierent control and data-ow abstractions in the reactive languages. Such a study also provides a basis on which a basic set of preemption primitives can be incorporated in reactive languages from the point of view of expressive completeness.
منابع مشابه
Preemption Primitives in Reactive Languages ? ( A Preliminary Report ) Sophie Pinchinat ? ? , Eric Rutten ? ?
In this paper, we study preemption primitives in reactive languages such as Esterel and Signal (and its extension SignalGT_) in a common framework. This enables us to compare behavioural/structural expressive powers of diierent languages and gives an insight into the complementarity of diierent control and data-ow abstractions in the reactive languages. Such a study also provides a basis on whi...
متن کامل1 Synchronous Languages for Hardware and Software Reactive Systems
Synchronous languages are dedicated to hardware, software, or mixed reactive systems that maintain a continuous interaction with their environment. They come in two classes: data-oriented languages such as Lustre and Signal, .which are targeted to data-intensive applications such as continuous control or signal processing, and control-oriented languages or visual formalisms such as Esterel, Sta...
متن کاملNetworks of Preemptible Reactive Processes: An Implementation
Reactive languages such as Esterel, Lustre, Signal , Statecharts etc have found wide use in the development of veriiable software for reactive applications. It has been recently argued that both asynchrony and perfect synchrony are needed for the speciication of complex reactive systems and a paradigm called Communicating Reactive Processes has been proposed for such a uniication. The paradigm ...
متن کاملReactivity, Concurrency, Data--ow and Hierarchical Preemption for Behavioural Animation
Behavioural models ooer the ability to simulate autonomous entities like organisms and living beings. Such entities are able to perceive their environment, to communicate with other creatures and to execute some decided actions either on themselves or on their environment. Building such systems requires the design of a reactive system treating ows of data to and from its environment, in a compl...
متن کاملHiDRA - A reactive multiprocessor architecture for heterogeneous embedded systems
Embedded systems are typically heterogeneous requiring interacting hardware and software components, are locally synchronous while being globally asynchronous and combine both control and data dominated blocks. Conventional architectures and hardware–software platforms do not directly support such heterogeneity leading to complex design flow and verification process for such systems. This paper...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995